|
|
1.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
|
|
|
2.
|
Applications of process algebra
by Baeten, J. C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
|
|
|
3.
|
Updating logical databases
by Winslett, Marianne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.74 WIN] (1).
|
|
|
4.
|
Two-level functional languages
by Nielson, Flemming | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 NIE] (1).
|
|
|
5.
|
Basic simple type theory
by Hindley, J. Roger. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
|
|
|
6.
|
Domains and lambda-calculi
by Amadio, Roberto M | Curien, Pierre-Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
|
|
|
7.
|
Term rewriting systems
by Terese Group | Bezem, Marc | Klop, Jan Willem | Vrijer, Roel de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.131 TER] (1).
|
|
|
8.
|
Hybrid graph theory and network analysis
by Novak, Ladislav | Gibbons, Alan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.5 NOV] (1).
|
|
|
9.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten de | Venema, Yde. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BLA] (2).
|
|
|
10.
|
Information flow : the logic of distributed systems
by Seligman, Jerry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
|
|
|
11.
|
Concurrency verification : introduction to compositional and noncompositional methods.
by De Roever, Willem-Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
|
|
|
12.
|
Process algebra : equational theories of communicating processes
by Baeten, J. C. M | Basten, T | Reniers, M. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
|
|
|
13.
|
Theoretical foundations of VLSI design
by McEvoy, K | Tucker, J. V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 621.395 MCE] (1).
|
